Opportunistically Parallel Lambda Calculus
dl.acm.orgยท22hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
exploits.club Weekly Newsletter 91 - Patch-gapping Browsers, Ubuntu LPEs, Bluetooth Int Underflows, And More
blog.exploits.clubยท3h
๐Ÿ”“Hacking
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท16h
๐ŸงฎAlgebraic Archives
Flag this post
Rouille โ€“ Rust Programming, in French
dev.toยท5hยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Flag this post
Ajla Tutorial
ajla-lang.czยท19hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐Ÿ”ฉSystems Programming
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
โœ…Format Verification
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meยท2dยท
ฮปLambda Encodings
Flag this post
Void Linux Gets Runkit, a Friendly GUI for Managing runit Services
linuxiac.comยท1h
๐Ÿ› System administration
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท1hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post
Linux Troubleshooting: These 4 Steps Will Fix 99% of Errors
linuxblog.ioยท5h
๐Ÿ“ŸTerminal Forensics
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ”“Decompilation
Flag this post
An introduction to OCI Containers on FreeBSD
freebsdfoundation.orgยท2h
๐Ÿ“ฆMETS Containers
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Ÿ”€Category Theory
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.orgยท21hยท
๐ŸŒWASI
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.nameยท12hยท
Discuss: Hacker News
ฮปLambda Formalization
Flag this post
Swift 6.2: Subprocess
mjtsai.comยท20h
๐ŸšShell Calculus
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ŸŽฏGradual Typing
Flag this post
Evaluating YARA Rules for macOS Malware Hunting in Spectra Analyze
reversinglabs.comยท1d
๐Ÿฆ Malware Analysis
Flag this post